Computation, Proof, Machine: Mathematics Enters a New Age
by Gilles Dowek,Pierre Guillot,Marion Roman
ISBN 13: 9780521118019
Format: Hardcover (158 pages) Publisher: Cambridge University Press Published: 05 May 2015
Save for later